struct isZero
{
    struct _
    {
    typedef _ value;
    template< class ,class=void>
    struct app_matching;

    template<class BridgeEager45344>
    struct app:app_matching< typename BridgeEager45344::value > {};

      template< class dummy_PMetaLambda_PMetaPrograms_>
      struct app_matching< Int<0>, dummy_PMetaLambda_PMetaPrograms_>
      {
          struct _:  Bool<true> 
          {
          typedef Bool<true> ::value value;
          };
      };
      template< class x, class>
      struct app_matching
      {
          struct _:  Bool<false> 
          {
          typedef Bool<false> ::value value;
          };
      };
    };
};

